Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
341	Draeger Safety, Inc., Selects VectorCAST for IEC[removed]and EN[removed]Software Development Global leader in medical and safety technology chooses Vector Software’s VectorCAST for critical software testing of its next-gen Add to Reading List Source URL: www.prweb.com Language: English - Date: 2013-07-08 03:01:56 Software development process Embedded system IEC 61508 Application software Dräger Debian Science Technology Software Vector Gas detector
342	Mining Markets 2014 Rate Cards.pub Add to Reading List Source URL: www.miningmarkets.ca Language: English - Date: 2014-03-27 15:54:03 X Window System Software Mining Occupational safety and health
343	Kidpower Trash Can for Throwing Away Hurting Words Irene van der Zande, Kidpower Executive Director and Founder Illustrated by Amanda Golert Trash Can Power Safety Sign Add to Reading List Source URL: www.kidpower.org Language: English - Date: 2014-03-14 13:40:37 Computing Software System software Trash Kidpower
344	Low-Level Linear Memory Management Chris Hawblitzel Edward Wei Heng Huang Add to Reading List Source URL: chrishawblitzel.net Language: English - Date: 2009-01-18 14:58:05 Computer programming Pointer Type safety Type system Struct C++ classes Dynamical system Array data type C Data types Software engineering Computing
345	Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Programming language theory Lambda calculus Generalized algebraic data type System F Simply typed lambda calculus Type system Type safety Dependent type Symbol Type theory Software engineering Theoretical computer science
346	A Safety Aware Run-Time Environment for Adaptive Automotive Control Systems Jelena Frtunikj∗ Vladimir Rupanov∗ Alexander Camek∗ Christian Buckl∗ ∗ Cyber-Physical Systems Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2014-05-02 03:30:52 Systems engineering AUTOSAR Automotive software Enterprise application integration Web services Component-based software engineering Service-oriented architecture Reliability engineering Embedded system Software engineering Software architecture Design
347	OVERLOAD CONTENTS OVERLOAD 86 August 2008 Add to Reading List Source URL: www.accu.org Language: English - Date: 2008-08-14 15:49:22 C++ Type safety C++ classes Type system Generic programming String Iterator Template C Software engineering Computing Computer programming
348	Understanding TypeScript Gavin Bierman1,? , Mart´ın Abadi2 , and Mads Torgersen2 1 2 Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2014-06-20 19:14:31 Programming language theory Data types Object-oriented programming Lambda calculus Polymorphism Type system JavaScript Subtype polymorphism Type safety Software engineering Computing Type theory
349	Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Functional languages Type theory Source code Lisp programming language Racket Macro Programming language Type safety Type system Software engineering Computing Computer programming
350	Token Kidnapping Cesar Cerrudo Argeniss Add to Reading List Source URL: www.argeniss.com Language: English - Date: 2008-07-29 11:57:50 Access token Computer security Windows XP Windows NT Windows Vista Thread Windows Security Support Provider Interface Security and safety features new to Windows Vista Microsoft Windows Computing System software

UPDATE